HEALERS: A Toolkit for Enhancing the Robustness and Security of Existing Applications
نویسندگان
چکیده
HEALERS is a practical, high-performance toolkit that can enhance the robustness and security of existing applications. For any shared library, it can find all functions defined in that library and automatically derives properties for those functions. Through automated faultinjection experiments, it can detect arguments that cause the library to crash and derive safe argument types for each function. The toolkit can prevent heap and stack buffer overflows that are a common cause of security breaches. The nice feature of the HEALERS approach is that it can protect existing applications without access to the source code.
منابع مشابه
Enhancing privacy of recent authentication schemes for low-cost RFID systems
Nowadays Radio Frequency Identification (RFID) systems have appeared in lots of identification and authentication applications. In some sensitive applications, providing secure and confidential communication is very important for end-users. To this aim, different RFID authentication protocols have been proposed, which have tried to provide security and privacy of RFID users. In this paper, we a...
متن کاملSecurity testing of session initiation protocol implementations
The mechanisms which enable the vast majority of computer attacks are based on design and programming errors in networked applications. The growing use of voice over IP (VOIP) phone technology makes these phone applications potential targets. We present a tool to perform security testing of VOIP applications to identify security vulnerabilities which can be exploited by an attacker. Session Ini...
متن کاملSecurity requirements for environmental sensing technology
In this paper, we identify security objectives and requirements for a class of ubiquitous computing technology, namely environmental sensing infrastructure. The method used starts with analyzing scenarios to define user-driven security objectives for specific applications and identify hints to potential misuse in a realistic setting. The described applications are examined to understand how the...
متن کاملEnhancing Farmer Productive Capacity: Case of Action Research Based Conservation Agriculture
The study sought to explore approaches for co-creation of conservation agriculture (CA) knowledge amongst farmers, nongovernmental organizations (NGOs), government and specialist researchers. The aim of the study was to explore farmer initiated food security strategies among small holder resource poor farmers, through enhancement of farmers’ own productive capacity. The study was born out of th...
متن کاملProposing an effective approach for Network security and multimedia documents classically using encryption and watermarking
Local binary pattern (LBP) operators, which measure the local contrast within a pixel's neighborhood, successfully applied to texture analysis, visual inspection, and image retrieval. In this paper, we recommend a semi blind and informed watermarking approach. The watermark has been built from the original image using Weber Law. The approach aims is to present a high robustness and imperceptibi...
متن کامل